first order predicate
英
美
- first adj.第一的;最初的adv.首先;第一n.最初;(序数词)第一
- order n.顺序;条理;订单;命令;秩序;阶层;[生]目;点的东西v.命令;定购;调整;整理;点餐;预定,订货
- predicate n.[语]谓语;述语v.断定;意味;宣称;基于adj.谓语的
- Also, first-order predicate calculus isn't good enough anyway.
同时,从各方面来说,一阶谓词演算都不是足够好。